Pierre-Louis Curien: tražiti na sajtu Z-Library

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca

Slobodan pristup znanju i kulturi.

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024

Z-Library je jednja od najvećih online biblioteka koja sadrži više od 17,000,000 knjiga i 84,837,000 članaka. Naš je cilj da literatura bude dostupna svakome. Danas (15. septembra 2024) smo započeli dodatno prikupljanje sredstava za podršku i razvoj projekta.

Takođe NEOGRANIČENA preuzimanja (na 31 dan od dana doniranja) biće dostupna SVIM korisnicima ko je fonirao tokom perioda prikupljanja sredstava do 1. oktobra 2024.

O prikupljanju novcaDetaljnije

Knjige (13)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Karim Nour, René David, Christophe Raffalli, Pierre-Louis Curien

Godina:

2004

Jezik:

french

Fajl:

DJVU, 2.45 MB

0 / 0

french, 2004

2

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

René David, Karim Nour, Christophe Raffalli, Pierre-Louis Curien

Godina:

2004

Jezik:

french

Fajl:

EPUB, 49.48 MB

5.0 / 0

french, 2004

3

Domains and Lambda-Calculi

Domains and Lambda-Calculi

Cambridge University Press

Roberto M. Amadio, Pierre-Louis Curien

Godina:

1998

Jezik:

english

Fajl:

PDF, 3.45 MB

0 / 0

english, 1998

4

Interactive Models of Computation and Program Behavior

Interactive Models of Computation and Program Behavior

American Mathematical Society

Pierre-Louis Curien, Hugo Herbelin, Jean-louis Krivine, Paul-Andre Mellies

Godina:

2010

Jezik:

english

Fajl:

PDF, 17.05 MB

0 / 0

english, 2010

5

Domains and Lambda-Calculi

Domains and Lambda-Calculi

Roberto M. Amadio, Pierre-Louis Curien

Godina:

1996

Jezik:

english

Fajl:

PDF, 3.73 MB

0 / 0

english, 1996

6

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Marcelo Fiore, Chung-Kil Hur (auth.), Pierre-Louis Curien (eds.)

Godina:

2009

Jezik:

english

Fajl:

PDF, 5.37 MB

0 / 0

english, 2009

7

Categorical Combinators, Sequential Algorithms, and Functional Programming

Categorical Combinators, Sequential Algorithms, and Functional Programming

Pierre-Louis Curien

Godina:

1993

Jezik:

english

Fajl:

DJVU, 3.07 MB

0 / 0

english, 1993

8

Categorical Combinators, Sequential Algorithms, and Functional Programming

Categorical Combinators, Sequential Algorithms, and Functional Programming

Birkhäuser Basel

Pierre-Louis Curien

Godina:

1993

Jezik:

english

Fajl:

PDF, 11.41 MB

0 / 0

english, 1993

9

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ehrhard, Pasquale Malacaria (auth.), David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (eds.)

Godina:

1991

Jezik:

english

Fajl:

DJVU, 2.68 MB

0 / 0

english, 1991

10

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ehrhard, Pasquale Malacaria (auth.), David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (eds.)

Godina:

1991

Jezik:

english

Fajl:

PDF, 17.48 MB

0 / 0

english, 1991

11

Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings

Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings

Springer-Verlag Berlin Heidelberg

P. Bellot, B. Robinet (auth.), Guy Cousineau, Pierre-Louis Curien, Bernard Robinet (eds.)

Godina:

1986

Jezik:

english

Fajl:

DJVU, 2.16 MB

0 / 0

english, 1986

12

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Marcelo Fiore, Chung-Kil Hur (auth.), Pierre-Louis Curien (eds.)

Godina:

2009

Jezik:

english

Fajl:

PDF, 8.02 MB

0 / 0

english, 2009

13

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Springer Netherlands

Pierre-Louis Curien (auth.), G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo (eds.)

Godina:

2003

Jezik:

english

Fajl:

PDF, 3.68 MB

0 / 0

english, 2003